perm filename TEST.B[P,JRA]1 blob sn#031531 filedate 1973-03-23 generic text, type T, neo UTF8

00100	PRE_PRED:A,B;
00200	HYPS:A⊃B;
00300	    ¬A⊃B;
00400	THM:B;
00500	;